$\forall$${\it es}$:ES, $e$:E. es{-}init(${\it es}$;$e$) $\in$ E